Concurrent Design of Embedded Control Software

نویسندگان

  • Marcel A. Groothuis
  • Raymond Frijns
  • Jeroen Voeten
  • Jan F. Broenink
چکیده

Embedded software design for mechatronic systems is becoming an increasingly time-consuming and error-prone task. In order to cope with the heterogeneity and complexity, a systematic model-driven design approach is needed, where several parts of the system can be designed concurrently. There is however a trade-off between concurrency efficiency and integration efficiency. In this paper, we present a case study on the development of the embedded control software for a real-world mechatronic system in order to evaluate how we can integrate concurrent and largely independent designed embedded system software parts in an efficient way. The case study was executed using our embedded control system design methodology which employs a concurrent systematic model-based design approach that ensures a concurrent design process, while it still allows a fast integration phase by using automatic code synthesis. The result was a predictable concurrently designed embedded software realization with a short integration time.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Knowledge-Based Automation of a Design Method for Concurrent Systems

ÐThis paper describes a knowledge-based approach to automate a software design method for concurrent systems. The approach uses multiple paradigms to represent knowledge embedded in the design method. Semantic data modeling provides the means to represent concepts from a behavioral modeling technique, called Concurrent Object-Based Real-time Analysis (COBRA), which defines system behavior using...

متن کامل

Design Models for Reusable and Reconfigurable State Machines

The widespread use of embedded systems mandates a rigorous engineering approach towards embedded software development, i.e. modelbased design of embedded software. The paper presents design models of reusable and reconfigurable state machines that have been conceived in the context of the COMDES framework and in particular the State Logic Controller and the Hybrid State Logic Controller, whose ...

متن کامل

Developing FPGA-based Embedded Controllers using Matlab/Simulink

Field Programmable Gate Arrays (FPGAs) are emerging as suitable platforms for implementing embedded control systems. FPGAs offer advantages such as high performance and concurrent computing which makes them attractive in many embedded applications. As reconfigurable devices, they can be used to build the hardware and software components of an embedded system on a single chip. Traditional FPGA d...

متن کامل

Building Blocks for Embedded Control Systems

Developing embedded control systems using a building-block approach at all the parts enables an efficient and fast design process. Main reasons are the real plug-and-play capabilities of the blocks. Furthermore, due the simulatability of the designs, parts of the system can already be tested before the other parts are available. We have applied an object-oriented approach for modeling all three...

متن کامل

Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle

The design of reliable embedded control systems inherits the difficulties involved in designing both control systems and distributed (concurrent) computing systems. Design bugs in these systems may arise from the unforeseen interactions among the computing, communication and control subsystems. Motivated by the difficulties of finding this type of design bugs, this thesis develops mathematical ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • ECEASST

دوره 21  شماره 

صفحات  -

تاریخ انتشار 2009